This paper presents a new application of logic programming to a real-life problem\udin hydraulic engineering.\udThe work is developed as a collaboration of computer scientists and hydraulic engineers,\udand applies Constraint Logic Programming to solve a hard combinatorial problem.\udThis application deals with one aspect of the design of a water distribution network, i.e., the valve isolation system design.\ud\udWe take the formulation of the problem by Giustolisi and Savic (2008) and show how, thanks to constraint propagation,\udwe can get better solutions than the best solution known in the literature for the Apulian distribution network.\ud\udWe believe that the area of the so-called hydroinformatics can benefit from the techniques developed in Constraint Logic Programming and possibly from other areas of logic programming, such as Answer Set Programming.
展开▼
机译：本文介绍了逻辑编程在现实问题中的新应用\ udin水利工程。\ ud这项工作是由计算机科学家和液压工程师合作开发的，\ udand应用了约束逻辑编程来解决一个复杂的组合问题。\ udThis该应用程序处理了供水网络设计的一个方面，即阀门隔离系统设计。\ ud \ ud我们采用Giustolisi和Savic（2008）的问题公式，并说明了由于约束传播而导致的问题，\ udwe与文献中已知的最佳解决方案相比，Apulian分销网络可以提供更好的解决方案。\ ud \ ud我们相信，所谓的水信息学领域可以受益于约束逻辑编程中开发的技术，也可能受益于逻辑编程的其他领域，例如“答案集编程”。
展开▼
